Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Tesis	Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL:	Rosenfeld, Ilan	(2015)	Sala	----------